Quantifcation in Nonclassical Logic
ثبت نشده
چکیده
منابع مشابه
Proof-Theoretic Methods in Nonclassical Logic — an Introduction
This is an introduction to proof theory of nonclassical logic, which is directed at people who have just started the study of nonclassical logics, using proof-theoretic methods. In our paper, we will discuss only its proof theory based on sequent calculi. So, we will discuss mainly cut elimination and its consequences. As this is not an introduction to sequent systems themselves, we will assume...
متن کاملKnowledge Representation Using Predicate-Argument Structures with Nonclassical Quantifiers
The paper aims at contributing to the problem of translating natural (ethnic) language into the framework of formal logic in a structure-preserving way. There are several problems with encoding knowledge in logic-derived formalisms. Among the most difficult are those connected with natural language quantifiers. Even for relatively simple natural language sentences there are readings hard to enc...
متن کاملA Proposal for the Implementation of Ternary Digital Circuits - Microelectronics, 1995. Proceedings., 1995 20th International Conference on
A nonclassical multi-valued logic based on Post algebra is presented. Besides the conventional Post's cyclic negation, this nonclassical logic algebra defines new operators that simplify the truth-table minimization techniques. An electronic implementation of this algebra for a 3-level logic is proposed. Electronics gates of Post negation and the new operators were designed and simulated using ...
متن کاملGeneration of Nonclassical States of the Radiation Field in the System of a Single Trapped Atom in a Cavity within the First Order of the Lamb-Dicke Approximation
In this paper, we propose a theoretical scheme for the generation of non-classical states of the cavity field in a system of a single trapped atom via controlling the Lamb-Dicke parameter. By exploiting the super-operator method, we obtain an analytical expression for the density operator of the system by which we examine the dynamical behaviors of the atomic population inversion, the phase-spa...
متن کاملRevisiting Information Hiding: Reflections on Classical and Nonclassical Modularity
What is modularity? Which kind of modularity should developers strive for? Despite decades of research on modularity, these basic questions have no definite answer. We submit that the common understanding of modularity, and in particular its notion of information hiding, is deeply rooted in classical logic. We analyze how classical modularity, based on classical logic, fails to address the need...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004